A Propositional Logic Toolkit for Online Tutors
Aleven, V., Sewall, J., & K. Sutner
We developed a Propositional Logic Toolkit that supports basic operations such as truth-tables, evaluation, equivalence testing, and expression simplification for formulae in classical propositional logic. In conjunction with CTAT, the toolset enables rapid construction of automated tutors that provide critical learning activities for online courses dealing with propositional logic--for example, a simplification tutor that tests the correctness of students' algebraic manipulations and suggests hints on next steps. As a proof-of-concept, we built and deployed several tutors for the Summer 2018 offering of Discrete Math Primer, 15-051, a pre-matriculation course taken via OLI by all CS majors and many math majors at CMU. We will gauge the impact of these new tutors by comparing to past course performance on exams and other course activities. The tutors' author, Javier Cifuentes SCS '21, will show summit participants how to try them out on laptops we will supply.
Vincent Aleven, Human Computer Interaction Institute SCS
Johnathan Sewall, Human Computer Interaction Institute SCS
Klaus Sutner, Computer Science Department SCS
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.